a*1=a
は定義するしかないんですか？
どうしてそう定義できるんですか？