Fullständighets beviset revised