\({\mathrm{}\mathrm{L}}_{\mathrm{\text{ijk}}}\mathrm{\ }\mathrm{=\ (}\mathrm{L}_{\mathrm{\text{ijk}}}\mathrm{\ }\mathrm{\geq}\mathrm{\ }\mathrm{L}_{\mathrm{\text{ij}}\mathrm{(}\mathrm{k}\mathrm{}\mathrm{1)}}\mathrm{\ }\mathrm{\rightarrow}\mathrm{\ }\mathrm{0)\ }\mathrm{\bigwedge}\mathrm{\ (}\mathrm{L}_{\mathrm{\text{ijk}}}\mathrm{\ }\mathrm{<}\mathrm{\ }\mathrm{L}_{\mathrm{\text{ij}}\mathrm{(}\mathrm{k}\mathrm{}\mathrm{1)}}\mathrm{\ }\mathrm{\rightarrow}\mathrm{\ }\mathrm{L}_{\mathrm{\text{ijk}}}\mathrm{\ }\mathrm{}\mathrm{\ }\mathrm{L}_{\mathrm{\text{ij}}\mathrm{(}\mathrm{k}\mathrm{}\mathrm{1)}}\mathrm{)}\) |
(6) |