ex2_1_7.mod:

Reference:

Solution: