Final arguments in the proof

This clearly works, but it is still quite rough.