Detta gäller särskildt förstaallegro-satsen