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 sowohlx₁, …, x_nals auchy₁, …, y_munabhängig, dann istn = m, und diex_iundy_jsind bei geeigneter Zuordnung paarweise projektiv.