この記事は、日曜数学 Advent Calendar 2018 - Adventar 22日目の記事です。まず最初に投稿が遅れてしまったことをお詫び申し上げます。来年アドベントカレンダーに参加する場合は、11月時点で書く内容が固まっているテーマで登録させていただきます。申し訳…