Какой? Там аксиома:
А одновременно может быть равно и неравно Б
А с такой аксиомой можно горы свернуть
Там не совсем точно (про 10 - неверно) сформулированная теорема:
любая отрицательная переменная больше самой себя, умноженной на положительный множитель.
Для меня - не аксиома, т.к. не берусь доказать для случая, когда переменная и/или множитель стремятся к бесконечности.
А два частных случая я доказал...

