>この a は「魔法の a」で、
これがあると「AB = CD ならば A = C」が証明できるという。

AB = CD ならば AB=aCD(1/a)となります。