theorem :: XPRIMES0:910

not 910 is prime