Correct. Using deductive reasoning, you can substitute into the equation , rewrite it as , and find that . This means that the solution set is . Since the lines intersect at only one point because their slopes are different, they can not both go through the origin if they are already both going through the point .