theorem :: XPRIMES0:261

not 261 is prime