theorem :: XPRIMES0:104

not 104 is prime