theorem :: XPRIMES2:869

canceled;