Shortened the proof to 3 equation chains.