theorem :: XPRIMES0:6

not 6 is prime