ex9_2_3.mod:

Reference:

Solution: