Witt%27s decomposition theorem