Lovasz Neighborhood Complex Theorem