Comment.

This proof may seem over-elaborate. There are much shorter ``proofs'' in many textbooks. But if your life depended on it, you might find this level of detail, or even something more formal, reassuring.