тема: аксиоматическое построение системы натуральных чисел
доказательство теорем:
№1докажите,что если частное натуральных чисел a и b существует,то оно единственно
№2докажите,что если числа a и b делятся на c и a>b,то (a-b):c=a:c-b:c
во вотором случае можно открыть скобки,если с умножить на а и b,то получится выражение,что и после равно