theorem Th67: :: FIB_NUM2:67

for n being Element of NAT holds Fib n, Fib (n + 1) are_coprime