Legyen G tetszőleges csoport, N pedig normálosztó G-ben. Tegyük fel továbbá, hogy a G csoport valamilyen a_1 és a_2 valamint b_1 és b_2 elemeire teljesülnek az alábbiak:

1. Az a_1 elem ugyanabban az N szerinti baloldali mellékosztályban van, mint az a_2 elem.
2. A b_1 elem ugyanabban az N szerinti baloldali mellékosztályban van, mint a b_2 elem.

Ekkor az a_1\cdot b_1 szorzat is ugyanabban az N szerinti baloldali mellékosztályban van, mint az a_2\cdot b_2 szorzat.

Minthogy a 25.6. Definíció alapján az N szerinti bal- és jobboldali mellékosztályok megegyeznek, ezért ugyanez az állítás természetesen a jobboldali mellékosztályokra is érvényes.