>>237
a:b = c:d ⇔ ad = bc なので、
ad = bc ⇔ ad = cb (∵積の交換法則) ⇔ a:c = b:d です
成立します