a comathematician is a device for turning cotheorems into ffee.

Source: http://mathoverflow.net/questions/1083/do-good-math-jokes-ex...