進行性定理の証明の途中。