Deras anspråk grunda sig på följande sats: