(a) Let S,NEN. Using the notation we've used in class, write a simple loop for computing SN. (Do not assume you can use an exponentiation operator, *. Use only the "+" operator, and a while loop. Create whatever variables you need.) (b) Provide a loop invariant, p, for your code, and prove its correctness by showing that p A B{S}p is a good Hoare triple