1は自然数であることを証明せよ,でやはり明らかとはいわない.