Každá kvazigrupa, která splňuje levou konjugačně-uzavřenou podmínku pro lupy má univerzální pravou jednotku.