"Proof that math really does have a sense of humor—if by humor, you mean ‘rigor.’"