theorem :: XPRIMES2:6918

canceled;