condition1

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Hull–Dobell_theorem The modulus and the increment are relatively prime
gptkb:Dirichlet's_test sequence of real numbers with bounded partial sums