theorem :: XPRIMES0:272

not 272 is prime