theorem :: XPRIMES2:6828

canceled;