External Linear Pair Postulate