ex14_2_3.mod:

Reference:

Solution: