theorem :: XPRIMES2:6990

canceled;