Kathleen's proof