theorem :: XPRIMES0:102

not 102 is prime