theorem :: XPRIMES2:7982

canceled;