A mathematician is a device for turning coffee into theorems.
若要培养人才,就应当向四方外国学习。