A kinematic theory of rapid human movement. Part IV: a formal mathematical proof and new insights