\[(y - a)(y - b) = y^{2} - (a + b)y + ab\]
\[y^{2} - ay - by + ab = y^{2} - ay - by + ab\]
\[Тождество\ доказано.\]