I need to figure out if they are given,proven,multiplication property,division property,additional property,subtraction property distributive property

Given data:
The given expression is 3(x+5)=75.
The given expression can be written as,
[tex]\begin{gathered} 3(x+5)=75\text{ (Given)} \\ 3x+15=75\text{ (Distributiv property)} \\ 3x=60\text{ (Subtraction property)} \\ x=20\text{ (Division property )} \end{gathered}[/tex]