elect the best answer.

The objective is to prove that when this program ends, x $+$ y $=$ a$.$

Of all potential loop invariants in this question, check the best loop invariant before each iteration to use in order to achieve my objective.

x $=$ a

y $=0$

while $($x $>0)$

x$--$

y$++$

Group of answer choices

y $<=$ a

a $<=$ x $+$ y

x $+$ y $<=$ a

x $+$ y $=$ a

x $<=$ a