theorem :: XPRIMES0:90

not 90 is prime