Un matematician este un dispozitiv pentru transformarea cafelelor în teoreme.