Replacing ϕk by −ϕk also replaces ak by −ak, so both E[akbl] and ϕk(s) change sign and their product is unchanged. Replacing ul by −ul similarly replaces bl by −bl. Every summand, and hence β, is independent of all eigenfunctionsignchoices.