theorem :: XPRIMES0:1205

not 1205 is prime