is a theorem that connects

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Euler's_formula_for_polyhedra geometry and topology