in sub-riemannian geometry, the chow–rashevskii theorem (also known as chow's theorem) asserts that any two points of a connected sub-riemannian manifold are connected by a horizontal path in the manifold. it is named after wei-liang chow who proved it in 1939, and petr konstanovich rashevskii, who proved it independently in 1938.