Hi,
I am trying to proof that the right hand side is equal to the left hand side. When i do step by step, it clearly shows that my "c" and "d" are exactly the same thing. But when i use "evalb" and "verify", it comes out with "false". May I kwow what went wrong please?
Thanks.
