theorem :: XPRIMES2:17

canceled;