{} in omega by Def11;
hence for b₁ being number st b₁ is empty holds
b₁ is natural by Def12; :: thesis: verum