here's the link to follow up on the proof of my statement