Detta bevisas af enmängd