タイトルなっっっっっっが！ これはISer Advent Calendar 2019 - Adventarの9日目の記事として書かれました。 タイトル通り、ルービックキューブに関する"証明"をします。 副作用として、この記事を読むとルービックキューブが揃えられるようになります。 長…