La siguiente aseveración, "Una MT ordinaria tiene el mismo poder (soslayando la eficacia) que un Turmite (MT con cinta bidimensional)" es verdadera, y aporta un grano de arena a una prueba constructiva de que la Tesis de Church-Turing es verdadera también, como también se demostró que sucede lo mismo con una MTN (MT no determinista), una Máquina de Post, un autómata finito con dos pilas, un autómata finito con pila y 2 marcadores, una MT con sólo 2 estados, el Juego de la vida de John Conway, un autómata celular, una gramática formal y otros modelos de computación descubiertos (y aún por descubrir) no hipotéticos, todos ellos tienen el mismo poder que una MT y, en virtúd de la propiedad transitiva de la relación "el mismo poder", el mismo poder que un Turmite lo que constituyen una forma más o menos fidedigna de probar que esta Tesis es verdadera.