theorem Coprime31: :: NUMBER12:7

for a being Nat holds a,(3 * a) + 1 are_coprime