Constructible universe theorem ($L\models \mathrm{ZFC}+\mathrm{GCH}$)

ZFC proves that the constructible universe is an inner model of ZFC and satisfies the Generalized continuum hypothesis. Relativizing to $L$ yields the corresponding relative-consistency implication.