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.