ABABAB と CDCDCD が平行なら、ABABAB が直径 CDCDCD の円に接することは AB=CDAB=CDAB=CD と同値である。凸四辺形ではこれは ABCDABCDABCD が平行四辺形であること、従って BC∥ADBC\parallel ADBC∥AD と同値である。