Just wondering if there is a word for using the same equality/information multiple times in for example a proof. Why I'm asking is since I was correcting a proof by a friend and noticed they used the same equality twice, which made the proof insufficient. Then I just started wondering if there is a word for this kinda regular phenomea, does anyone know a good word/phrase for it?
Example:
Prove: x=z
Proof: Since x=y we have...
...Long proof...
Now using x=y we have that
...
I understand that this may not always be a mistake, but often it is. Just wondering if there is a good word/phrase for it.