This paper seeks to solve the long-term transmission expansion planning problem in power systems more effectively by reducing solution search space and computational effort. The proposed methodology finds adds cutting planes based on structural insights about bus angle differences along paths. Two lemmas a theorem are which formally establish validity of these onto underlying mathematical formu...