Théorème de Pappus

Un théorème classique de la géométrie projective : étant données deux droites distinctes et trois points A,B,C sur la première et A',B',C' sur la seconde, les trois points d'intersection des croisement (par exemple AB'∩A'B, AC'∩A'C, BC'∩B'C) sont colinéaires. Le théorème vaut dans les plans projectifs coordinatisables sur un corps commutatif (plans pappiens).