theorem :: XPRIMES1:109

109 is prime