is a theorem that can be visualized through

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Pascal's_Theorem dynamic geometry software