y_1,y_2が解であるとして、
その一次結合を元の式に放り込んだら、それも解であることを確認できるだろ。