lautet:

Es sei V ein endlichdimensionaler modularer Verband. Gilt \begin{eqnarray}{x}_{1}\cup {x}_{2}\cup \ldots \cup {x}_{n}={y}_{1}\cup {y}_{2}\cup \ldots \cup {y}_{m}\end{eqnarray}und sind sowohl x₁, …, x_n als auch y₁, …, y_m unabhängig, dann ist n = m, und die x_i und y_j sind bei geeigneter Zuordnung paarweise projektiv.