This is the proof you've been looking for.