theorem :: NUMERALS:1

{} is Element of omega