orthonormality multinormality holomorphicity hypoellipticity malnormality normality hyperdegree hypercomplexity hyperfunction hypernumber