Das ist doch dasselbe, auch wenn ich das Wort Vierstreckensatz noch nie gehört habe: https://de.serlo.org/mathe/1971/strahlensatz-vierstreckensatz