theorem :: XPRIMES0:977

canceled;