Andy Oberle's proof