14 约翰论定域隐变量