To see this, suppose that 0 ≤ i < j and Fi and Fj have a common factor a > 1.
要推出这个，我们需要假设 0 ≤ i < j 且 Fi 和 Fj 有一个公因子 a > 1。