Diestel, R. A Simple Existence Criterion for Normal Spanning Trees. Electron. J. Combin. 2016, 23, P2.33.