Bevis härför finnér man på enmängd