Why can (and must) the variable x appear twice on the left side of the function definition? And what's the meaning?

Question

I\'m a green hand with Idris,and get confused with this definition, as I don\'t understand how it works. The definitionare as follows.

sameS : (k : Nat)->(