″ the collinear set (

). Hence from (vi) of [51.3]

Hence from (vii) of [51.3]

Hence, since