theorem R7: :: NEWTON07:97

Rascal 7 = <*1,7,11,13,13,11,7,1*>