この記事は「好きな証明 Advent Calendar 2018」の7日目の記事です。 いきなりですが！（楽天カードマンの言い方）みなさんは「好きな証明」ありますか？私はいくつか思い当たる証明があってブログにしようと思ったのですが、そういうのはもう誰かがどこかで…