Twierdzenie Gibbarda–Satterwaite’a