Solve the system using substitution.
x + y = 8
y = 3x

a. (4, 12)
b. (2, 6)
c. (1/2, 3/2)
d. (-4, -12)

Nina has prepared the following two-column proof below. she is given that ∠oln ≅ ∠lno and she is trying to prove that ol ≅ on. triangle oln, where angle oln is congruent to angle lno step statement reason 1 ∠oln ≅ ∠lno given 2 draw oe as a perpendicular bisector to ln by construction 3 ∠leo ≅ ∠neo transitive property of equality 4 m∠leo = 90° definition of a perpendicular bisector 5 m∠neo = 90° definition of a perpendicular bisector 6 le ≅ en definition of a perpendicular bisector 7 δole ≅ δone side-angle-side (sas) postulate 8 ol ≅ on cpctc nina made two errors in the proof. identify and correct the errors.