theorem Th18: :: GRAPHSP:18

for i, k, m being Nat
for f being Element of REAL *
for r being Real st m <> i & m <> k holds
((f,i) := (k,r)) . m = f . m