theorem :: XPRIMES0:929

canceled;