NIPC theorem