theorem :: XPRIMES1:163

163 is prime