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