theorem :: XPRIMES0:877

canceled;