Teorema titik tetap pemetaan nonekspansif bernilai ganda - Rium Hilum, 1978- (2008)