— Воспользуемся методом доказательства от противного. Допустим, что уравнение не имеет решений над полем действительных чисел. Вам противно?
— Да омерзительно просто!
Старая одесситка прибегает на вокзал:
— Она таки ушла?
— Кто она?
— Да поезд, поезд.
— Так поезд — это он, а не она!
— Я вас умоляю!