69. Exact shared cores

From this point through Theorem SRWT.22, assume the core maps define a local system on a connected graph unless a weaker hypothesis is stated explicitly.