>>526
はい、知っていましたよ。っていうか、数学オリンピック事典での質問でした。
確かに事典にも解説が書いてあるのですが、難し過ぎてよく分からなかったので、投稿しました。