Thanks for the mathematical proof!