Witt's decomposition theorem

Summary