reword proof to make it clearer