theorem Coprime21: :: NUMBER12:5

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