Kuratowski's Theorem

See Kuratowski Reduction Theorem