Mamy proste:

Zauważmy, że proste w których zwierają się dwusieczne kątów pod jakimi przecinają się proste  i , to zbiór punktów płaszczyzny  równoodległych od prostych  i ,