theorem :: XPRIMES0:264

not 264 is prime