Considere os conjuntos M pares ordenados (x, y) que satisfazem a equação (a₁x + b₁y + c₁).(a₂x + b₂x + c₂) = 0 e N dos pares ordenados (x, y) que satisfazem o sistema  sendo (a₁.b₁.c₁.a₂.b₂.c₂ ≠ 0, pode-se afirmar que