theorem :: XPRIMES2:112

canceled;