aとbが実数のとき。
「a=b」であることは「任意の実数kに対してka=kb」であるための
必要条件でしょうか十分条件でしょうか