Theorem: All Numbers Are Boring
Theorem: All numbers are boring.
Proof (by contradiction): Suppose x is the first non-boring number. Who cares?
Rating: 7/10

Theorem: All numbers are boring.
Proof (by contradiction): Suppose x is the first non-boring number. Who cares?
Rating: 7/10