theorem :: XPRIMES2:1106

canceled;