separately continuous bilinear mapping