theorem Th9: :: SRINGS_5:11

for n being Nat
for D being non empty set
for x being Tuple of n,D holds x in Funcs ((Seg n),D)