theorem :: NUMBER13:6

for k being Integer holds (2 * k) + 1,(9 * k) + 4 are_coprime