Denna sats anwändes { all sinstränghet