長完全列の原型が
上空移行原理であることは
トポロジーの本には
書きようがない