important theorem

24 triples
GPTKB property