The integral root theorem