begin
theorem Th1:
theorem
theorem Th3:
begin
theorem
canceled;
theorem
:: deftheorem CLOSURE3:def 1 :
canceled;
:: deftheorem CLOSURE3:def 2 :
canceled;
:: deftheorem Def3 defines supp CLOSURE3:def 3 :
theorem
theorem
theorem
theorem Th9:
:: deftheorem Def4 defines MSUnion CLOSURE3:def 4 :
theorem
theorem
theorem
theorem
theorem
begin
:: deftheorem defines algebraic CLOSURE3:def 5 :
:: deftheorem defines algebraic CLOSURE3:def 6 :
:: deftheorem Def7 defines SubAlgCl CLOSURE3:def 7 :
theorem
canceled;
theorem Th16: