theorem :: XPRIMES2:6759

canceled;