theorem :: XPRIMES1:23

23 is prime