theorem Th5: :: INT_8:5

for i, n being Nat st n > 1 & i,n are_coprime holds
i <> 0