contestada

Name the property used to make the conclusion. If x=y and y=4, then x=4.