Auxiliary conditions (3, 3)

  1. (1): Q4 = Q2 + Q3
  2. (1): Q1 = Q2 + Q3
  3. (1): Q2 = a * Q1