Math Definitions - Math Definition #28

Page 28 of 33

"A mathematician is a device for turning coffee into theorems" (P. Erdos)
Addendum: American coffee is good for lemmas.