begin
:: deftheorem Def1 defines |. ABSVALUE:def 1 :
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
canceled;
theorem
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
theorem
theorem
theorem
:: deftheorem Def2 defines sgn ABSVALUE:def 2 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem Th33:
theorem
theorem Th35:
theorem
theorem
theorem Th38:
theorem Th39:
theorem
theorem
theorem
theorem
theorem
theorem