Witt's decomposition theorem