보조정리의 원형 문제는 IMO 1985 #5

1db4d332f0c03df23cf484ed47837d73a03f23d239df07a564fddbd85215f2

1db4d332f0c03df23df1dca511f11a39341848e5951951087d

1db4d332f0c03df23af1dca511f11a39b05e4c7eb553ee5ca9