theorem :: XPRIMES2:6792

canceled;