is a theorem that has

3 triples
GPTKB property