theorem :: XPRIMES2:7893

canceled;