Substitution.
Here is an example.
Let x be equal to 3 and y equal to 3.
![x=3, y=3](https://img.qammunity.org/2020/formulas/mathematics/middle-school/m85ecdimqvj12jxhz2pik40leav8ex3ij5.png)
From this we can conclude that the values of both x and y are equal to three therefore x and y have the same value and are equal.
![x\wedge y=3\Longrightarrow x=y](https://img.qammunity.org/2020/formulas/mathematics/middle-school/za4t7mvsc0yq6ocpvm92cyru1oxfmkgr4w.png)
Here in your case we have:
![</p><p>AB=1, BC=1 \\</p><p>AB\wedge BC=1\Longrightarrow AB=BC](https://img.qammunity.org/2020/formulas/mathematics/middle-school/5rd7ulbk3lfz8vakdo82f1zk05urspqq6d.png)
Hope this helps.
r3t40