"prove" . . .