Shane's proof