derivation_animated_rule2.gif (4878 bytes)

derivation3_animated.gif (9495 bytes)
next step