Första satsen har enegendomligt