Denna sats stödes nämligen bland annatderaf