ex8_5_6.mod:

Reference:

Solution: