Hence, < ID'E' = - < BDE. But since the points D' and E' lie on the circle with diameter OI, we have < IOE' = < ID'E', so < IOE' = - < BDE. Hence,
Kaya, <ID'E '= - <BDE. Subalit dahil ang mga puntos sa D 'at E' kasinungalingan sa bilog na may diameter Oi, mayroon kaming <IOE '= <ID'E', kaya <IOE '= - <BDE. Samakatuwid,