theorem :: XPRIMES0:10

not 10 is prime