two functional equations from the IMO