Contradiction Graphs Determine VC Dimension