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