Kuratowski reduction theorem

1. Redirect Kuratowski's theorem

{{Redirect from alternative name}}