theorem :: XPRIMES0:26

not 26 is prime