نظرية شكل رباعي محصور في دائرة