>>635
もちろん動機など場面によっても人によっても違うので正解などないが、
君にとって「logとは乗法群から加法群への準同型であって、expとはその逆写像である」のならば、
expが加法群から乗法群への準同型である（すなわち指数法則が成り立つ）のは自明であって、
取りたてて証明するほどのものではないと思わないかね？
（もちろんそのような準同型の存在は示されないといけないが）
>>557（私ではないが）の真意はそのようなことだと考える