>>169
その証明は素人が書いたもので冗長
使う文字はaだけでよい
（aとbを使っているせいで、1行ごとに
a≠bを前置きしている）

aの1文字で書き直すと以下のようになる

f(a)≧2がつねに存在すると仮定すると
(f(a)f(a^6))f(a^10)=f(a^48)
(f(a)f(a^10))f(a^2)=f(a^48)
よって f(a^2)=f(a^6)
f(a)f(a^2)=f(a^6) と比較して f(a)=1
これは f(a)≧2 と矛盾するので
fは存在しない Q.E.D.