Given an algebra $\mathbf{A}$, a pair of congruences $ \alpha ,\beta \in Con(\mathbf {A})$ are said to permute when $ \alpha \circ \beta =\beta \circ \alpha$, and an algebra $\mathbf{A}$ is called congruence-permutable when each pair of congruences of $\mathbf{A}$ permute. Also, a variety of algebras $\mathcal{V}$ is referred to as congruence-permutable when every algebra in $\mathcal{V}$ is congruence-permutable.

On the other hand, a variety $\mathcal{V}$ is semidegenerate if no nontrivial algebra in $\mathcal{V}$ has one-element subalgebras (equvalently, for any algebra $\mathcal{A}$ in $\mathcal{V}$, the congruence $\nabla_A$ is compact).

I am looking for a reference that proves every congruence-permutable variety is semidegenerate.