ΔTf = $K f$ . $m$
Where ΔTf = the freezing-point depression
ΔTf = $T f$ (pure solvent) − $T f$ (solution).
$K f$ = the cryoscopic constant, which is dependent on the properties of the solvent, not the solute.
$m$ = molality of the solution