Let ABCD be a quadrilateral with an incircle. Let P be the intersection point of the diagonals of ABCD. Then the incenters of PAB, PBC, PCD, PDA are concyclic.