ex9_2_8.mod:

Reference:

Solution: