DCAB húrnégyszög s így DCA∢+DBA∢=180∘; de ABD1∢+DBA∢=180∘, tehát DCA∢=ABD1∢. ABD1C1 szintén húrnégyszög s így ABD1∢+AC1D1∢=180∘, tehát DCA∢+AC1D1∢=180∘, vagyis: CD∥C1D1.