命題
S = (f_i：X → X_i)_I を湧き出し(>>713)とする。
ある J ⊂ I に対して (f_j：X → X_j)_J が単湧き出し(>>715)であれば
S は単湧き出しである。

証明
自明である。