Zauważmy, że odpowiednie proste są równoległe oraz odpowiednie trójkąty i czworokąty są przystające. Przyjmijmy oznaczenia jak na rysunku.