Theorem of Pascal in Poincar
é
's Model
Reference: Roger A. Johnson,
Advanced Euclidean Geometry
, p. 235