theorem :: XPRIMES2:6941

canceled;