Theorem 3.33. Assuming that:

Then
P(κ)M=P(κ)M[G].