r841
P being a Soddy point, the incircles of PBC, PCA and PAB are mutually tangent.