Bolzano-Weierstrass Rap

I was looking at the website of mathematician Dave Richeson (after browsing through one of his papers), and I decided to take a look on his blog. In a recent entry, he links to an "awesome" rap performance of the entire proof of the Bolzano-Weierstrass theorem by mathematician Steve Sawin. This is wrong on so many levels. (Tomorrow we have our dinner with the new Somerville frosh, so we could use this to scare away the new math majors...)