begin
:: deftheorem defines tan SIN_COS4:def 1 :
:: deftheorem defines cot SIN_COS4:def 2 :
:: deftheorem defines cosec SIN_COS4:def 3 :
:: deftheorem defines sec SIN_COS4:def 4 :
theorem
canceled;
theorem
theorem
theorem
theorem
canceled;
theorem Th6:
theorem Th7:
theorem Th8:
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
theorem
theorem Th15:
theorem Th16:
theorem
theorem
theorem Th19:
theorem Th20:
theorem Th21:
theorem Th22:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th33:
theorem Th34:
theorem Th35:
theorem Th36:
theorem
theorem
theorem
theorem
theorem Th41:
theorem
theorem Th43:
theorem
theorem Th45:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem