Stuart solves the inequality 4 y greater than 12 in one step, writing y greater than 3 as the solution. What property best justifies the step he used to solve the inequality?
Group of answer choices
addition or subtraction property of inequality
distributive property
multiplication or division property of inequality