"u"2上で "u"1を模倣するエミュレーションプログラム ε1,2を作り、その上で "u"1のためのプログラム "p" を動かせば、結果として "u"2の上でプログラム "p" を動かせたことになる。