Answer:
Distributive property says that:

Addition property of equality:
if x = y then x+z = y+z
Division property of equality:
if x = y then

As per the statement:
Given the equation:

Tyra solve this equation as shown below:
1.
[Distributive property]
2.
[Addition property of equality]
3.
{Division property of equality]
Therefore, the property Tyra used in line 1 was : Distributive Property.