Dan's proof