Quod Erat Demonstrandum

ぼちぼち書いていきます。