Here is a program that includes a while loop.

$1//$ pre: N $>=1$

$2$ k $1$

$3$ S $$ N

$4//$ LoopInv:

$5$ while $($k $<$ N$)$

$6$ S $$ S$+$N

$7$ k $$ k$+1$

$8//$ post: S $==$ N$*$N

Which of the following candidates for LoopInv satisfy the definition of a loop invariant? Select all that apply