The extent of freezing-point depression can be calculated by applying Clausius-Clapeyron relation and Raoult's law together with the assumption of the non-solubility of the solute in the solid solvent. The result is that in dilute ideal solutions, the extent of freezing-point depression is directly proportional to the molal concentration of the solution.