theorem :: XPRIMES0:260

not 260 is prime