If and , then .
The transitive property is if and , then .
The transitive property justifies the statement.