A note on linear extensions of irreducible elements in a finite lattice - Rival, Ivan (Techn. Hochsch., 1975)