Started to change proof so it looks
Just left to prove infinity case