ex6_1_2.mod:

Reference:

Solution: