IMO Model Course 7.17