How to Prove a Single Line