  The Langlands functoriality conjecture envisaged in the bisemialgebra
framework is proved to correspond to the nonorthogonal completely reducible
cuspidal representations of the bilinear algebraic semigroups.
