theorem :: XPRIMES2:1154

canceled;