Fermat proved that Taxicab(n) exists for any n. We let T(n,k) denote the kth smallest primitive solution that can be written in n ways as a sum of two cubes of positive integers, so that
แฟร์มาต์ได้พิสูจน์ว่า แท็กซี่ ( N ) มีอยู่สำหรับการใด ๆ . เราให้ T ( n , k ) แทน kth เล็กดั้งเดิมโซลูชั่นที่สามารถเขียนใน N วิธี เป็นจำนวนสองก้อนของจำนวนเต็มบวก ดังนั้น