What is the missing reason for line 5 in this proof

A.
addition property of =
B.
substitution property of =
C.
division property of =
D.
division of real numbers