Only if you assume x+y must be an unsigned int as well. They didn't specify the language, so you can't know that, I'd say. In a theorem prover you could prove t

Only if you assume x+y must be an unsigned int as well. They didn't specify the language, so you can't know that, I'd say. In a theorem prover you could prove this statement without doubt, but it's a bit weird they specified the unsigned int, to be fair.