ex14_2_8.mod:

Reference:

Solution: