:: NUMERALS semantic presentation

theorem Th1: :: NUMERALS:1
0 is Element of omega
proof end;