frozen-in theorem