Details of a (mathematical) proof may be skipped when they are trivial or not directly relevant, the details which may then be left as an exercise to the reader. No intimidation involved.

I have no reason to care about the double-line / dash-line thing, because while it's a valid concern, it's never appropriate to u-turn immediately after exiting a junction. This should be trivial.