theorem :: XPRIMES0:105

not 105 is prime