全ての実数cに対して、ac=bcならばa=b
全ての実数cに対してac=bcならば、a=b

の二通りに解釈できるってことでFA？