let

be a finitive set and

and

be two injective surjective functions from

to

.let

and

be two sets such that they are defined as following
we know that

, prove:
for each

if and only if
%V0
let $V$ be a finitive set and $g$ and $f$ be two injective surjective functions from $V$to$V$.let $T$ and $S$ be two sets such that they are defined as following
$S = \{w \in V: f(f(w)) = g(g(w))\}$
$T = \{w \in V: f(g(w)) = g(f(w))\}$
we know that $S \cup T = V$, prove:
for each $w \in V : f(w) \in S$ if and only if $g(w) \in S$