theorem :: XPRIMES2:6702

canceled;