[word=":"] [word=to] □
[word=":"] [word=to] [□]
[word=":"] [word=to] □*
Here , Banach 's Fixed Point Theorem is used for two purposes : to prove the existence of fixed points , and to prove CSP refinement between two fixed points .