In backpropagation, gradients at a node with multiple outgoing edges are summed. Which property of the chain rule justifies this?