<

q e d iff 証明終了

<