theorem :: XPRIMES2:6898

canceled;