TITLE: Варіативність методів доведення математичних тверджень