theorem :: XPRIMES2:97

canceled;