theorem :: XPRIMES2:1116

canceled;