fixed the evaluation of lu and ru in hadamard product proof #54

Closed 0x6980 closed 2 weeks ago