theorem :: XPRIMES0:72

not 72 is prime