1977 IMO Problems/Problem 4