Mathematical proof? This is code we're talking about.

I don't have to show mathematical proof, but in fact, the code is open source, so you can go and see for yourself what I said is true and immutable.