I think I'll make the bijection proof another post and then link to it from this article. I think that way it is least intrusive to anyone who is not interested, but there for the people who want to see it.
No promises, but I'll try to get it done by tomorrow.
thanks!
Hey there, the formal proof is now up. You can find it here.