Proof that loops take as many steps as you would expect.