Sea P un punto interior a ABC. La mediatriz de BC corta a la circunferencia {PBC} en dos puntos; sea A' el que está al mismo lado que P de BC. Definimos cíclicamente B', C'. Los puntos P, A', B', C' son concíclicos.