Podáme přímý důkaz následující věty: Každá konečná algebra generující kongruenčně spojově semidistributivní varietu má cyklický term.