prove that a