theorem :: XPRIMES2:6700

canceled;