Summary: We characterize, given a morphism \(A\to B\) between differentiable algebras, when \(B\) is a finite \(A\)-module by properties of the continuous map \(Y\to X\) induced between the respective spectra and properties of the fibre rings \(B/{\mathfrak m}_xB\).