Lause 1: Ternaarisessa ryhmäteoriassa laajennettu ternaarinen Golayn koodi on joskus nimeltään lopullinen Golayn koodi. Lause 2: Ternaarisessa ryhmäteoriassa laajennettua ternaarista golay-koodia kutsutaan joskus lopulliseksi golay-koodiksi. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.