生徒が発見した定理 Yonekura's theorem