Kalimat 1: Sebuah kotak ajaib adalah dalam bentuk Frénicle standar, dinamai untuk Bernard Frénicle de Bessy, jika dua kondisi berikut berlaku: Kalimat 2: Sebuah kotak ajaib adalah dalam bentuk Frénicle standar, dinamai Bernard Frénicle de Bessy, jika dua kondisi berikut berlaku: Pertanyaan: Apakah Kalimat 1 dan Kalimat 2 menyatakan makna yang sama? Ya atau tidak?
Ya, tentu saja.