Wang's conjecture on orthonormal bases