Båda dessa satser ärosedan