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

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.