theorem :: XPRIMES2:6752

canceled;