IMO 1962 Problem 01

