Denna sats har iverkligheten