theorem :: XPRIMES2:6640

canceled;