begin
theorem Th1:
theorem Th2:
theorem Th3:
:: deftheorem Def1 defines -root POWER:def 1 :
theorem
canceled;
theorem
theorem Th6:
theorem
theorem Th8:
theorem
theorem
theorem Th11:
theorem Th12:
theorem Th13:
theorem
theorem
theorem
theorem
theorem
theorem Th19:
theorem
theorem Th21:
theorem
theorem Th23:
theorem Th24:
:: deftheorem Def2 defines to_power POWER:def 2 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th29:
theorem Th30:
theorem Th31:
theorem Th32:
theorem Th33:
theorem Th34:
theorem
theorem Th36:
theorem Th37:
theorem Th38:
theorem Th39:
theorem Th40:
theorem Th41:
theorem
theorem
theorem Th44:
theorem Th45:
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem Th51:
theorem Th52:
theorem Th53:
theorem Th54:
theorem
theorem
theorem Th57:
:: deftheorem Def3 defines log POWER:def 3 :
theorem
canceled;
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
:: deftheorem defines number_e POWER:def 4 :
theorem Th68:
theorem Th69:
theorem
theorem
theorem