Den förstnämda af dessa satser har isynnerhet