theorem :: XPRIMES2:114

canceled;