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