Original: In the second, the proof shows that any two representations may be unified into a single representation.
Simplified: Second part of the proof