>>735
示すのは「f(x)≡0」ではなく「f(x)≡0 または f(x)=a^x」です。
そのために「f(x)≡0 でない⇒f(x)=a^x」を示しています。