То, что теорема не доказывается, тоже надо доказать.

И

а лучше плюнуть на неё и пойти к аксиоме - с этой никаких проблем!))

Тут логическая дырка: когда Нет доказательства всё очевидно. Ну нет!

И

теорема обязана доказываться.. поэтому это либо неправильная
теорема, либо у пытающегося её доказать не хватает на это ума))