theorem :: XPRIMES2:5723

canceled;