Actually, we have 2 trivialities for n. We have n=0 and n=1 as trivialities. I agree with what you said. What I am complementing is that there is another way to do this proof and in it we have to use the sum of 2 squares theorem. When we do the proof by this second way, we find a very interesting equality.
