φ(f(a))→φ(f(f(a))はφ(a)→φ(f(a))のaにf(a)を代入して導かれるんですか？