05: ex 5.13 e, simplify