Dekartnıñ teoremasında, er dört öpüşken (biri-birine tiygen) daireler ve olarnıñ radiusları muayyen kvadrat musaviylemesini qanaatlendire denilmekte.