Yes. The rules says 0' = 0. So, this needs a special case. And the conjecture should mention the special case! :)

## Yes. The rules says 0' = 0.

Yes. The rules says 0' = 0. So, this needs a special case. And the conjecture should mention the special case! :)