theorem :: XPRIMES2:1191

canceled;