Define \rho between two points
Introduce sppc - shortest chain between two points

.. and relate it to lambda
New definitions for shortest chains in terms of \rho

Prove that the tail of a ppchain is shortest in terms of \rho