左消去律

left cancellation law