5.52 Se i valori di ξ sono tutti i valori di una funzione f x per tutti i valori di x, allora sarà [math]\displaystyle{ N ( \bar{\xi} ) }[/math] = ~(∃x) . f x.