@yintercept: Here is the proof