Det fins åtskilliga sådana satser,