theorem Th50: :: COMPUT_1:51

for e1, e2 being NAT * -defined to-naturals homogeneous Function
for i being Nat
for p, q being FinSequence of NAT holds primrec (e1,e2,i,p) tolerates primrec (e1,e2,i,q)