orthomodular identity

Мат. ортомодулярное тождество