Finite extension