Thus, the solution can be formally

Thus, the solution can be formally stated as

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

ดังนั้นวิธีแก้ปัญหาจึงสามารถระบุอย่างเป็นทางการได้ว่า

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

ดังนั้นการแก้ปัญหาจึงอาจแสดงออกอย่างเป็นทางการได้ว่า

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

ดังนั้นโซลูชันนี้สามารถอธิบายได้อย่างเป็นทางการ