Если теорему так и не смогли доказать, она становится аксиомой ... Евклид .