theorem :: XPRIMES2:116

canceled;