theorem :: TURING_1:38

for n being Nat st n >= 3 holds
U3(n)Turing computes n proj 3