Given
Reflexive Property
Symmetric Property
Transitive Property
Addition and Subtraction Properties
Multiplication and Division Properties
Substitution Property
Definition of Congruent Angles
Angle Addition Property
Definition of Supplementary Angles
Definition of Complementary Angles
Vertical Angles Property
Linear Pair Property
If lines
‖
, then corr.
∠
s
≅
.
If corr.
∠
s
≅
, then lines
‖
.
If lines
‖
, then alt. int.
∠
s
≅
.
If alt. int.
∠
s
≅
, then lines
‖
.
If lines
‖
, then alt. ext.
∠
s
≅
.
If alt. ext.
∠
s
≅
, then lines
‖
.
If lines
‖
, then cons. int.
∠
s are supp.
If cons. int.
∠
s are supp., then lines
‖
.