Using oddness of
in (1), we get
for all
and all
. Interchanging
by
in (7), we obtain
for all
and all
. Again interchanging
by
in (7) and using (IFN4), (IFN10), we have
for all
and all
. Combining (8) and (9) using (IFN5), (IFN11), we arrive
for all
and all
. Using (IFN4), (IFN10), one can see from (10) that
for all
and all
. Changing
by
in (11), and using (IFN4), (IFN10), (3), we get
for all
and all
also
. Changing
by
in (112), we see
for all
and all
. It is easy to check that
for all
. Using (IFN5), (IFN11), it follows from (13) and (14), we obtain
where
for all
and all
. Again changing
by
in (15), and using (IFN4), (IFN10), (3) in that changing
by
, we have
for all
and all
also
. It follows from (16) that
for all
and all
. By data, the Cauchy criterion for convergence in Intuitionistic Fuzzy normed space gives that the sequence
is Cauchy in
and it is a complete Intuitionistic Fuzzy normed space, this sequence converges to some point
in
for all
. So, by notation, we write
for all
and all
. Letting
and
in (17) and using (18), we arrive
for all
and all
. Thus, (5) and (6) holds for
. Interchanging
in (1) and using (IFN4), (IFN10), we have
for all
and all
. Now,
for all
and all
. Taking limit
in (21), using (18) and (20), we get
for all
and all
. Using (IFN3), (IFN9) in (22), we see,
satisfies (3). In order to confirm that
is unique, suppose
be another mapping (3), (18) and (19), we obtain
for all
and all
. Taking limit
in (23), and using (IFN7), (IFN13), we arrive
for all
and all
. By (IFN4) and (IFN10), we get
is unique. So, the Theorem holds for
.