theorem :: XPRIMES2:1114

canceled;