In Section 17.2.5, we said that the
specification Algebraic–draw could be extended to say that a move, resize or
unselect after a delete has no effect. The axiom for unselect looks like this:
(9) unselect(delete(g)) = delete(g) Write two more axioms (10) and (11) which
say the same about move and resize. Now use axioms (4) and (5) to show that (9)
implies both your new axioms.