Hot: eierinjedemsatz