Twierdzenie Krejna-Šmuliana