Denna sats skulle säkerligenalla