Twierdzenie Dijkstry o trójkątach