theorem :: XPRIMES2:1241

canceled;