Corrected typo in Stirling (not Sterling) formula
Added the Mahajan-Vinay construction to the prelims.

I think this proof is just not presented anywhere and ought to be included. Otherwise people just believe that Det has a small circuit on face value with no idea of what the circuit actually is.
Some minor rephrase
Cleaned up VSBR a bit