Мне нужно доказать, что если

Где a,b такие эллементы группы, что

и

.
Надо доказать что решетка подгрупп группы G не дистрибутивна. У меня возникла идея показать, что

. Потому-что для бесконечных порядков данная схема работает. Но возникли проблемы с подгруппами:

и

. Для частных случаев вроде все получается а в общем неполучается их вычислить.