theorem :: XPRIMES2:1183

canceled;