theorem :: XPRIMES0:1050

not 1050 is prime