theorem :: XPRIMES2:23

canceled;