О квазитождествах конечно-порожденных коммутативных луп Муфанг

Показано, что конечно-порожденная коммутативная лупа Муфанг $L$ имеет конечный базис квазитождеств тогда и только тогда, когда $L$ — конечная группа.