### 4.4.3. Functional dependency invariants involving four constraints

Proposition 196 Given the constraints

$\mathrm{𝙽𝚅𝙰𝙻}>1⇒2·𝙿\le |\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂}|-max\left(1,\mathrm{𝙻𝙴𝙽}_\mathrm{𝙵𝙸𝚁𝚂𝚃}\right)-max\left(1,\mathrm{𝙻𝙴𝙽}_\mathrm{𝙻𝙰𝚂𝚃}\right)+1$

Proof 194 Beside the first and the last sequence with a small value, we alternate between large and small values.

Proposition 197 Given the constraints

$\mathrm{𝙽𝚅𝙰𝙻}>1⇒2·𝚅\le |\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂}|-max\left(1,\mathrm{𝙻𝙴𝙽}_\mathrm{𝙵𝙸𝚁𝚂𝚃}\right)-max\left(1,\mathrm{𝙻𝙴𝙽}_\mathrm{𝙻𝙰𝚂𝚃}\right)+1$

Proof 195 Beside the first and the last sequence with a large value, we alternate between small and large values.