ガウス積分がそうだというのは納得。確かに面倒くさい。
(a^b)^c=a^(bc) も納得。

でも、何処かで明記しないとなあ。