Параллельные прямые не пересекаются, доказано Эвклидом.
Надежные холодильники существуют, доказано Занусси.
Занусси лох, доказано Лобачевским.