@money-dreamer: I think the proof