Name the property of equality or congruence that justifies going from the first statement to the second statement.

m A = m S and m S = m K, then m A = m K