In the base case of the Fermat equality, the k-digit endings of the numbers in the pairs (A^n, A), (B^n, B), (C^n, C) are equal to the k-digit endings of the numbers a^[n^(k-1)], b^[n^(k-1)], c^[n^(k-1)], where a, b, c are the last digits of the base numbers A, B, C and k is arbitrarily large, that is, the numbers A, B, C are infinite.
