theorem :: XPRIMES0:12

not 12 is prime