ex8_1_2.mod:

Reference:

Solution: