Description: An equivalent of the orthomodular law. Theorem 29.13(e) of MaedaMaeda p. 132. (Contributed by NM, 30-May-2004) (New usage is discouraged.)