With apologies to Jimi Hendrix. The University of Washington Computer Science and Engineering (CSE) Band having a show in front of the CSE Building. This version of the UW CSE Band consists of Natalie Linnell (not present in this video), Laura Effinger-Dean, Pradeep Shenoy, Alex Colburn, Andrew Guillory, Ian Simon, and Andrei Alexandrescu.

You say that p is true
You gotta prove it to me
Assume not p and reach a fallacy.
Then come to me and state with conviction

It's a proof by contradiction

Yeah baby, let's get more formal

The contrapositive
of ( not p implies false )
is ( true implies p ) -hah
and p falls out.
Show p and state with conviction

It's a proof by contradiction

Hey baby, Let's prove there's no largest prime
Assume finite primes and take their product
just add one...That can't be composite,
you got a larger prime and can state with conviction

It's a proof by contradiction