Licson Lee says to YSITD
ac = bc / bc = bd => ac = bd