A mathematical proof of something we already knew