var , bevisas af denmängd