theorem :: XPRIMES2:7798

canceled;