theorem Th29: :: SERIES_5:29

for m, u, w, x, y, z being Real holds (((m * x) + (u * y)) + (w * z)) ^2 <= (((m ^2) + (u ^2)) + (w ^2)) * (((x ^2) + (y ^2)) + (z ^2))