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