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