Hi and welcome to the forum.
No, the substitution property would not always be required in proving the elimination method.
They are simply two different methods of solving systems of linear equations but sometimes it is easier to solve the system when combining the two methods.
Read more about elimination and substitution method here.
I hope this helped you :)