To derive the equations in Proposition 2.1 we use the theory of  to first
obtain some equations for the quantities in Definition 2.1 considered as
functions of the end points , . These equations are of two types:
those which apply independent of the particular functions and
, and those which are dependent on and .
Annotation Form Interface