Bourbaki-Witt theorem