Identify loop invariants proving the following formulas:
1. x>1->[(x:=x+1)(*)]x>=0
2. x>5->[(x:=2)(*)]x>1
3. x>2(())y>=1->[(x:=x+y;y:=y+2)(*)]x>1