Theorem 3.33. Assuming that:

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