Основываясь на этих аксеомах, я вывел доказательство теоремы.
Проверьте свой текст
Аксиома
Не нуждается в доказательствах
