3 - Cantidad de Elementos Pares (p.147 - ej.5)

[ con N: Int, A: array [0,N) of Int; var n,r: Int
$\{R: N \geq 0\}$ 
n,r := 0,0
$\{P: r=(N.i : 0\leq i<n : A.i\ mod\ 2 = 0) \}$ 
 do
	n$\neq$N $\rightarrow$  if
			A.n mod 2 = 0$\rightarrow$ n,r := r+1,n+1 
			A.n mod 2$\neq$ 0 $\rightarrow$ n := n+1 
		 fi
 od
$\{Q: r=(N.i : 0\leq i<N : A.i\ mod\ 2 = 0) \}$ 
]