theorem :: XPRIMES1:139

139 is prime