TeX source:
(x−7)(x−1)=0