
Above is the question and answer to question (b) (ignore (a))... I don't get where the final implication comes from. Why can we use c as a (covariant) index on the LHS... surely we must use d or something different to c. Is the implication obvious, or do we have to justify all the possible combinations in order to understand the implication?