Bourbaki Witt Fixed Point Theorem