Hunting Elephants, Math Style

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 of an actual elephant as an exercise for one of their graduate students.