Геометрия 10 кл. Атанасян Л.С.

Если теорему так и не смогли доказать, она становится аксиомой.
Евклид (около 325 года до н.э.- до 265 года до н.э.)