Fix order in proof