theorem Coprime61: :: NUMBER12:6

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