n and n+1 are coprime