附注:
9, p. 551-1001 : 
由:
图灵原版数学.  继承.