Mathematicians hunt elephants by going to Africa, throwing out everything that is not an elephant, and catching one of whatever is left.

Professors of mathematics prove the existence of at least one elephant and leave the capture ofan actual elephant as an exercise for one of their graduate students.