proves