Proposisi ini menyatakan bahwa hukum pencoretan kanan dan kiri berlaku dalam grup. Pembuktiannya diserahkan sebagai latihan.