ex5_2_2_case1.mod:

Reference:

Solution: