Article NUMERALS, MML version 4.99.1005

:: NUMERALS:th 1
theorem
{} is Element of omega;