theorem :: XPRIMES0:920

not 920 is prime