int x-100; int y-0; while( 0){ y+= 10; a) For each of the following proposed loop invariants, explain why it is valid or invalid l) (x-0) 2) (x>0 AND y = 0 AND y >= 2x) 5) {x= 100 AND y 200} b) Prove this loop will terminate