>>881
aはnを変化させても変化しないものという条件があるものとしてよいと思う。