State/Every nonempty subset of N has a smallest element

 =Proof=

=Metadata=