theorem :: XPRIMES1:277

277 is prime