theorem :: XPRIMES2:723

canceled;