Then, it is known that the number of solutions (x, y, z) is finite, and all solutions can be effectively determined by means of Baker’s method of linear forms in logarithms.
แล้วมันเป็นที่รู้จักกันว่าจำนวนของโซลูชั่น ( X , Y , Z ) จำกัด และโซลูชั่นทั้งหมดสามารถตัดสินใจได้อย่างมีประสิทธิภาพโดยใช้ขนมปังวิธีรูปแบบเชิงเส้น ในลอการิทึม .