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