How to Patch a Punctured Inner Tube