However, we could have proven P12b

However, we could have proven P12b using the duals of each of the theorems we used to prove P12a.
Instead, we could distribute the a from the left side of P12b, producing

ผลลัพธ์ (ไทย) 1:

อย่างไรก็ตาม เราจะได้พิสูจน์ P12b ใช้ duals ของแต่ละ theorems ที่เราใช้เพื่อพิสูจน์ P12a แทน เราสามารถกระจายตัวแบบจากด้านซ้ายของ P12b ผลิต

ผลลัพธ์ (ไทย) 2:

แต่เราอาจจะได้รับการพิสูจน์โดยใช้ P12b duals ของแต่ละทฤษฎีที่เราใช้ในการพิสูจน์ P12a ได้.
แต่เราสามารถจำหน่ายจากทางด้านซ้ายของ P12b ผลิต

ผลลัพธ์ (ไทย) 3:

อย่างไรก็ตาม เราได้พิสูจน์ p12b ใช้ duals ของแต่ละทฤษฎีที่เราใช้เพื่อพิสูจน์ p12a .แทน , เราสามารถกระจายจากด้านซ้ายของ p12b , การผลิต