theorem :: XPRIMES2:6820

canceled;