Decomposition theorem