https://123dok.net/document/zpn77777-de-rham-decomposition-theorems-for-foliated-manifolds.html