State/Every subset of N has a smallest element 1