
theorem (Rascal 7).4 = 13 by R7;
