定理
https://ja.wikipedia.org/wiki/定理