theorem :: NEWTON07:99

for n being Nat holds (Rascal n) . 1 = 1