theorem :: XPRIMES0:123

not 123 is prime