Add steering function corollary
Add property of the inverse of the displacement homotopy