フィッチ流証明
#証明図
#証明図の流儀
/takker
が使ってるやつ，だと思う