ex9_1_4.mod:

Reference:

Solution: