少なくとも自然数やと2やろ