أنشئ الشكل:

أبين أن (AE)//(BD)
بما أن o منتصف [AD] فإن A هي مماثلة D بالنسبة للنقطة o
ولدينا: E هي مماثلة B بالنسبة للنقطة o
إذن: (AE) هو مماثل (BD) بالنسبة للنقطة o
ومنه فإن: (AE)//(BD)
أبين أن النقط A و E و F مستقيمية
لدينا: النقط A و E و F هي مماثلات النقط D و B و C بالنسبة للنقطة o
وبما أن النقط D و B و C مستقيمية (لأن: (D∈[BC]
فإن: النقط A و E و F مستقيمية