pair of straight lines theorems