四点共圆是定理吗