begin
Lm1:
(- 1) " = - 1
;
:: deftheorem RFUNCT_1:def 1 :
canceled;
:: deftheorem RFUNCT_1:def 2 :
canceled;
:: deftheorem RFUNCT_1:def 3 :
canceled;
:: deftheorem Def4 defines / RFUNCT_1:def 4 :
:: deftheorem RFUNCT_1:def 5 :
canceled;
:: deftheorem RFUNCT_1:def 6 :
canceled;
:: deftheorem RFUNCT_1:def 7 :
canceled;
:: deftheorem Def8 defines ^ RFUNCT_1:def 8 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th11:
theorem Th12:
theorem Th13:
theorem Th14:
theorem Th15:
theorem Th16:
theorem Th17:
theorem
canceled;
theorem
theorem
canceled;
theorem Th21:
theorem Th22:
theorem
theorem Th24:
theorem Th25:
theorem Th26:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th36:
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th42:
theorem Th43:
theorem Th44:
theorem
theorem Th46:
theorem Th47:
theorem Th48:
theorem
theorem Th50:
theorem Th51:
theorem Th52:
theorem
theorem
theorem
theorem Th56:
theorem
theorem
theorem
theorem Th60:
theorem Th61:
theorem Th62:
theorem
theorem
theorem Th65:
theorem Th66:
theorem Th67:
theorem
theorem
theorem Th70:
theorem Th71:
theorem
theorem
theorem
theorem
theorem
theorem Th77:
theorem
theorem
theorem
theorem
theorem
canceled;
theorem
theorem Th84:
theorem
theorem
theorem Th87:
theorem Th88:
theorem Th89:
theorem
theorem
theorem
theorem
theorem
theorem Th95:
theorem Th96:
theorem Th97:
theorem
theorem Th99:
theorem Th100:
theorem Th101:
theorem Th102:
theorem Th103:
theorem
theorem
theorem Th106:
theorem Th107:
theorem Th108:
theorem
theorem
theorem