Sondas lineares: Demonstração