Twierdzenie Krejna-Szmuljana