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