theorem :: XPRIMES0:97

canceled;