ex5_2_2_case2.mod:

Reference:

Solution: