[tex]\begin{gathered} \text{If we know that a=b and b=5, then a= 5 thanks to the transitivity property} \\ \\ \text{The property that justifies the statement is the transitivity} \end{gathered}[/tex]
The property that justifies the statement is the transitivity