下の行が完全なので、"a' " の元 "z" が存在して、"f" '("z")＝ "b"("y")である。