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

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

Эвклид (Евклид)