Jeżeli dwie proste przecinają okrąg w punktach AAAA i BBBB oraz CCCC i DDDD, a także przecinają się w punkcie PPPP, którego odległość od środka danego okręgu jest większa niż promień tego okręgu, to
