>>647
>f(x)φ(f(x))=x^{-1}φ(x)φ(x^{-1}φ(x))

は何故?