How would one prove that?