This is my rendition of the proof of the existence-uniqueness theorem for first-order differential equations, also known as the Picard-Lindelöf theorem. I tried to be as formal and explicit as possible while also making the proof easy to read and comprehend.