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