³See http://www.unidex.com/turing/utm.htm for the Turing machine implementation the proof is based upon.