Denna sats bar tillkommitgenom