Considere o sistema de equações lineares nas variáveis reais x e y:

no qual k e m são reais.

Sabe-se que existem números reais a e b, com a≠b, tais que os pares ordenados (a,b) e (b,a) são soluções do sistema dado.

Dessa forma, k e m são, necessariamente, tais que