Need help with constructing proofs as I do not know what I am doing for this part of the question.

[Pre-condition: m is a positive integer, largest =A[1] and i=1] while (i=m) 1. i:=i+1 2. if A[i]> largest then largest := A[i] end while [ Post-condition: largest = maximum value of A[1],A[2],,A[m]] loop invariant: I(n) is "largest = maximum value of A[1],A[2],,A[n+1] and i=n+1." Proof: I. Basis Property: Select I(0) from the choices below. largest = the maximum value of A[0+1] and 0+1 largest =1. largest =A[1]. largest = the maximum value of A[1]. largest =0. largest = the maximum value of A[1] and i=1. According to the this statement is true. maximum size of 1 MB.) No file chosen