RightAnglesTheoremReflexiveProperty ofCongruenceLinearPairIsoscelesTriangleCorrespondingAnglesPostulatePerpendicularLinesComplementaryAnglesDefinition ofCongruenceCPCTCTriangleSumTheoremThirdAnglesTheoremAlternateExteriorAnglesTheoremPerpendicularTransversalTheoremEquilateralTriangleAlternateInteriorAnglesTheoremSegmentBisectorVerticalAnglesTheoremIsoscelesTriangleTheoremTriangleCongruenceStatementMidpointExteriorAngleTheoremSegmentAdditionPostulateTransitiveProperty ofCongruenceAngleBisectorRightAnglesTheoremReflexiveProperty ofCongruenceLinearPairIsoscelesTriangleCorrespondingAnglesPostulatePerpendicularLinesComplementaryAnglesDefinition ofCongruenceCPCTCTriangleSumTheoremThirdAnglesTheoremAlternateExteriorAnglesTheoremPerpendicularTransversalTheoremEquilateralTriangleAlternateInteriorAnglesTheoremSegmentBisectorVerticalAnglesTheoremIsoscelesTriangleTheoremTriangleCongruenceStatementMidpointExteriorAngleTheoremSegmentAdditionPostulateTransitiveProperty ofCongruenceAngleBisector