theorem :: XPRIMES2:1119

canceled;