theorem :: XPRIMES0:246

not 246 is prime