nog een bewijs bij Turingmachines