theorem :: XPRIMES1:523

523 is prime