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