Redirecting to Bourbaki–Witt theorem