Continuity of bilinear maps on direct sums of topological vector spaces
H. Glöckner, J. Funct. Anal. 262 (2012) 2013–2030.