Sara's proof