theorem Th50: :: SRINGS_5:74

for r being Real
for n being Nat holds n |-> r is Element of REAL n