慶応大学が抽象現代数学を駆使して素朴な定理の証明に成功!!世界に1つだけの三角形の組