Kingを知っているかどうかで数学人であるか否かが分かる