Prove with a loop invariant that the following function correctly sums the elements in the array passed to it$.$

def sum$(A,n)$ :

$i=0$

sum $=0$

while i $$ n :

sum $=$ sum $+A[i]$

$i=i+1$

return sum