この記事はCompetitive Programming （その2） Advent Calendar 2016 - Adventarの記事として書きました． この記事に，技術的に有用なことはありません． 「証明を書こう！」という話です． 何か月か前に，とある方から次のような質問をされました． 競技プ…