Twierdzenie Hirschfelda–Żelazki