>>678
成り立つ、って証明の中で使われてるんだよ。