However , it turns out that neither

However , it turns out that neither the formula 2 nor its proof shall be needed to show 1 and 3.

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

อย่างไรก็ตาม มันเปิดออกที่ไม่สูตร 2 และหลักฐานจะต้องแสดง 1 และ 3

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

แต่ปรากฎว่าทั้ง 2 สูตรหรือหลักฐานของตนจะมีความจำเป็นที่จะแสดง 1 และ 3

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

แต่ปรากฎว่าไม่มีสูตรที่ 2 และจะต้องแสดงหลักฐานของ 1 และ 3