P3/P6 · 超难题

主要用于 1990 年以后的 IMO 压轴题；先找关键引理，不急着补全证明。 · 0 题。