Диа­го­на­ли че­ты­рех­уголь­ни­ка AB₁A₁B пе­ре­се­ка­ют­ся, зна­чит, он яв­ля­ет­ся вы­пук­лым. По­сколь­ку ∠AB₁B = ∠AA₁B  =  90° , около че­ты­рех­уголь­ни­ка AB₁A₁B можно опи­сать окруж­ность. Сле­до­ва­тель­но, углы BB₁A₁ и BAA₁ равны как впи­сан­ные углы, опи­ра­ю­щи­е­ся на одну дугу BA₁ .