theorem :: XPRIMES2:1161

canceled;