Since \( X\)  is smooth, by ([1]}, Lemma 1), \(P_tx\)  is uniquely determined. By ([1]}, Th. 1) \( F_t\)  is a contractive set. (Up to now the reflexivity is not needed.) By ([3]}), Lemma 4, \( F\)  is a contractive set.
