 The principle used is Kuratowski's Free Set Theorem, first published in 1951.Only the case "n=2" is used here.The semilattice part of the result above is achieved "via" an infinitary semilattice-theoretical statement URP ("Uniform Refinement Property").