theorem :: NEWTON07:98

(Rascal 7) . 4 = 13 by R7;