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