mathematicians naming their theorems 😂