User blog comment:P進大好きbot/Kyodaisuutan System/@comment-25601061-20181002232326/@comment-35470197-20181003041807

Since the left hand side does not depend on them, so does the right hand side after all.

However, the property "the right hand side does not depend on them" itself is used to define the function, and hence they are necessary in the definition.