Założenie: Mamy dane dwa trójkąty widoczne na poniższym rysunku:

Teza: Trójkąty   i  są przystające.

Dowód:

Obliczamy miarę kąta , korzystając z twierdzenia o sumie miar kątów