Prove correctness of a given algorithm.

Input: ninN

Output: Returns $n^2$

$SQ(n)$

if $n==0$ :

result $=0$

else:

result $=SQ(n-1)+2n-1$

return result