“…, where u 1 is a normalized eigenfunction corresponding to λ 1 . The function u 1 does not depend on x 1 and, viewed as a function of one variable x 2 , it is a normalized eigenfunction of −∆ = −∂ 2 x 2 on (0, a) with boundary conditions (2) corresponding to the first eigenvalue λ 1 , moreover λ 1 < λ 2 (see [14] or [13, Section 1.5]). It follows from the above that for all u ∈ W 1 2 (S n ), u ⊥ u 1 , one has…”