IMO 1960 Problem 01