theorem :: XPRIMES0:35

not 35 is prime