Tyson began solving the system ​ {4x+2y=64x+5y=15 ​ by writing −3y=−9 .

Which property justifies this step?

division property of equality
multiplication property of equality
substitution property of equality
subtraction property of equality