Beviset härföre ligger i denmängd