math properties of equality & AAP, SAP

reflexive property

a=a

transitive property

a=b and b=c, then a=c

Division property

a=b and c eual sign with an line thorough it 0, then a/c = b/c

Addition property

a=b and c=d, then a+c = b+d

Subtraction property

a=b and c=d, then a-c = b-d

Multiplication property

a=b then ca=cb

symmetric property

a=b, then b=a

Substitution property

a=b, then either a or b may be substituted for the other in any inequality

SAP segment addition postulate

if B is between A and C, then AB+BC= AC

AAP angle addition postulate

m<AOB + m<BOC= m<AOC