言われてみれば、俺はひたすら完璧な行間埋めばかりしてて、オリジナル証明なんて全然構築してないわ