Si || r resulta que o = o = l (r,) per la prňpia definició de lliscament.
Si r, resulta que o = , atčs que = o, per tant: