is a counterexample to

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Klein's_quartic the uniformization theorem
gptkb:Carmichael_number Fermat's primality test