What property justifies the second step for this equation?
addition property
division property
transitive property
distributive property
