最後の段階では、多角形 "pt" と三角形 "t" について同定理が成り立てば、"p" についても成り立つことを使う。