Teorema segons el qual la condició necessària i suficient perquè un quadrilàter convex sigui inscriptible en un cercle és que el producte de les diagonals sigui igual a la suma dels productes dels costats oposats, és a dir, si A, B, C i D són els vèrtexs del quadrilàter, la condició es AC · BD = AB · CD + AD · BC.