Let for each Let be a metric space. Prove that the following assertions are equivalent:

a) is a complete metric space.

b) For each being closed and non-empty where as we have

I already did a) b) but for the other implication, I have a long solution, is there a short way to do it?