7. You are given two arrays A and B, both which contain n integers sorted in ascending order. Give an algorithm that will determine in quadratic time or better whether they have an element in common. Using a loop invariant, prove that your algorithm is correct.