Theorem 2.9 (Consistency Theorem). Assuming that:

Then
(A00B)

is partition regular.