以下を書き忘れました:

f, g が x, y に依存しないことは明らかである。