0 - Todos los Elementos Positivos (p.147 - ej.3a)

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