Properties REF  and REF  are proved in this Appendix, the proof of the rest properties was given in [1]} for robot manipulators and can be shown for the Lagrangian dynamics (REF ) following the same procedure as in [1]} and is therefore omitted here.
