theorem :: XPRIMES1:157

157 is prime