[word=":"] [word=to] [lemma=□]
[word=":"] [word=to] [lemma=prove]
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 .