In between, implicit proof by induction for arithmetic sequences was introduced by al-Karaji (c.
Di antara rentang waktu tersebut, bukti implisit dengan induksi untuk barisan aritmetika diperkenalkan oleh al-Karaji (c.