theorem :: XPRIMES0:1090

not 1090 is prime