theorem :: NEWTON07:100

for n being non zero Nat holds (Rascal n) . 2 = n