Question 1053941
.
Friendly (kind) advice: write line-by-line proof first.