Kąty przy każdej z podstaw trapezu wpisanego w okrąg są przystające.

a = a' kąty wpisane w okrąg oparte na tym samym łuku

b = b' kąty wpisane w okrąg oparte na tym samym łuku

g = g''' kąty wpisane w okrąg oparte na tym samym łuku

g = g' i g'' = g''' kąty naprzemianległe przy a || b