Trójkąty ADC i BDC są przystające na mocy cechy bkb (bok - kąt - bok), a więc odpowiadające sobie boki są równe, czyli 
Narysuj rysunek, zaznacz na nim kąty oraz boki jak na rysunku powyżej i zauważ, że w tym trapezie występują trójkąty podobne (trójkąty ADC i BDC), zatem z podobieństwa tych trójkątów zapisz, że odpowiadające boki są sobie równe, czyli bok BD jest równy boku AC, co należało udowodnić w twierdzeniu 4.