 Proposition \[proximal average of positive functions which vanish at zero\] guarantees that if ${\ensuremath{\varphi}}_{i_0}$ vanishes only at zero, then ${\ensuremath{\varphi}}$ vanishes only at zero. 