theorem :: XPRIMES0:1272

not 1272 is prime