theorem :: XPRIMES0:1227

not 1227 is prime