This Problem Set is a part of the Lesson 23, Unit 4, Grade 8. Students know that two equations in the form of ax + by = c graph as the same line under special conditions. Following the Exploratory Challenge is a Discussion that presents a theorem about the defining equation of a line and then a proof of the theorem. The Discussion can end with the theorem, and in place of the proof, students can complete Exercises.