ex8_5_3.mod:

Reference:

Solution: