True Count Theorem

https://web.archive.org/web/20060825...ng/tcproof.htm