theorem :: XPRIMES1:1523

1523 is prime