theorem :: XPRIMES0:901

not 901 is prime