Not only is it proven, it is also tested.

I am not a genius like Knuth, who only needs to prove things.