PROOF OF THE GALE-NIKAIDO LEMMA FOR SEQUENTIALLY LOCALLY NON-CONSTANT MULTI-FUNCTIONS: A CONSTRUCTIVE ANALYSIS. (2012)