Dies folgt bei f≠0{\displaystyle {}f\neq 0} wegen
unmittelbar aus Fakt. Bei f=0{\displaystyle {}f=0} ist M=U{\displaystyle {}M=U} (da ja M{\displaystyle {}M} nach Voraussetzung nicht leer ist) und die Aussage folgt aus Fakt (2).