Twierdzenie Banacha–Kreina–Šmuliana