1 \cdot k_{6} \cdot x_{3} + 1 \cdot k_{6} \cdot x_{4} + 1 \cdot k_{6} \cdot x_{5} = k_{6} \cdot k_{7}