theorem :: XPRIMES2:865

canceled;