>m3 の定義より、
>m3 m2 f (n) = m2^n f (n) で、

>またm3の定義より、
>m3 m3 m2 f (n) = (m3 m2)^n f(n) で、

それはキミの定義だよ。ふぃっしゅの定義は全く存在しない。

>定義から単純に導いただけ

その定義は全てキミの定義
ふぃっしゅは何も定義しなかった。できなかったんだよ。