theorem :: XPRIMES0:17

canceled;