theorem :: XPRIMES2:6925

canceled;