complete_orthonormal_system