Homework.
Learning Goal: I’m working on a computer science question and need the explanation and answer to help me learn. If possible, please complete the Question on word document, and write it clearly. State a non-trivial loop invariant (which must include conditions for ii and xx). Prove the loop invariant. Be sure that the proof includes …