Cited passage: section3.3, Theorem3.3.4 (Ehresmann), printed pages63–64 in the current author-hosted version. No publication date is inferred.