O Teorema de Pappus em Geometria Hiperbólica
(modelo do disco)

Desloque os pontos A, B, C, A' , B' e C' com as ajuda do rato; os pontos D, E e F permanecem  colineares (lembre-se que neste modelo, os "pontos" são os pontos euclidianos e as "rectas" são os diâmetros euclidianos ou os arcos de circunferências euclidianas que intersectam ortogonalmente o absoluto).