Your lean 'proof' is packed full of missing parts. Come back when you aren't skipping most of it.
[flagged]
[flagged]