Denna sats godkännes väl också isin