Binary Addition. Write pseudocode to add two n-bit binary numbers. Use two n-element arrays to represent each of the operands and an n+1-element array to store the results. The least significant bit is stored in the last element of the array. Also, use a loop invariant to prove your binary addition algorithm above is correct.