一个数学家开了家餐厅，菜单上写着："汤：10元；定理证明：免费。"第一天，客人点完汤后坐下开始证定理，结果饿着肚子走了，因为汤凉了——原来“证明”是把汤“证没”了。