Lapid–Mao's local conjecture. For every η∈Ev×\eta\in E_v^\timesη∈Ev× such that ηˉ=−η\bar\eta=-\etaηˉ=−η, one has
