Pappus' Theorem and Pascal's generalization (4/4)