計算的な深さの概念を結ぶ

強い深さのシーケンスはすべて順序的に深いことが示された。