for G being non empty join-commutative join-associative Robbins ComplLLattStr st G is with_idempotent_element holds
G is Huntington