Spring force is proportional to displacement, opposite in direction.
Empirical law for elastic materials within elastic limit.