theorem :: XPRIMES2:6878

canceled;