Consider the system of equations.

−8x+4y=0−8x+7y=6

Which property could be used to write the equation −3y=−6

as the first step to solving the system of equations?

Subtraction Property of Equality
Distributive Property of Equality
Substitution Property of Equality
Division Property of Equality