theorem :: XPRIMES0:887

canceled;