H değişmeli tekçesi için, (?)A nın toplamsal öbek yapısına göre bir aşmaç olacak ve her (?) koşulu gerçeklenecek biçimde A dolamı.
