>>294
�@�Aが成り立つことを示せってことね? たしかに任意のn≧2, m≧1について
成り立ちそうだ。帰納法でいいんじゃない?