theorem :: XPRIMES2:6798

canceled;