theorem :: XPRIMES1:131

131 is prime