aksjomat VIII zd7

Na jakiej podstawie można stwierdzić że krótsza podstawa równa się dłuższemu ramieniu? Pewnie trzeba to wywnioskować jakoś z tego, że dwusieczna zawiera się w przekątnej ale nie wiem jak