Siguin A', B', C' les traces cevianes del punt de Soddy P= X(176). Els quadrilàters AB'PC', BC'PA', CA'PB' admeten circumferència inscrita.