theorem :: XPRIMES0:990

not 990 is prime