Coxeter - Exercise 1.6.2

abc is prospective to tqc via the line s tqc is prospective to bac with respect to the line r