IMO problem on algebra solved