ex9_1_8.mod:

Reference:

Solution: