You are right. That part is a superfluous and serves no purpose. I've removed the unnecessary discussion about "ab = 0" now. Thanks for writing this comment!