ex5_2_2_case3.mod:

Reference:

Solution: