@yintercept: This is the proof