What justification is used from line 2 to line 3?

Line 1: 2 open x minus 5 close less than 7 x plus 1

Line 2: 2 x minus 10 less than 7 x plus 1

Line 3: negative 10 less than 5 x plus 1

Line 4: minus 11 less than 5 x

Line 5: fraction minus 11 over, 5, end fraction, less than x

Line 6: x greater than, fraction minus 11 over, 5, end fraction

A: Distributive property
B: Subtraction property of inequality
C: Division property of inequality
D: Reflexive axiom of inequality