問題文に書いてある定理をそのまま実装する.