for L being modular Ortholattice holds L is orthomodular