theorem :: XPRIMES1:107

107 is prime