(C) دائرة مركزها O وقطرها [AB]
(d) المماس لهذه الدائرة في النقطة E، A نقطة من المستقيم (d)
أنشئ ('C) صورة (C) بواسطة الانسحاب الذي يحول A إلى E
بين أن المستقيم (d) مماس للدائرة ('C) في النقطة E .
الدائرة ( 'C) نصف قطرها EO ومنه:
E تنتمي إلى ( 'C) يعني ( d) مماس الدائرة (C') في E