「a＝b」は，「ac＝bc」であるための何条件か？