二つの項を結合する
表示した不等式に a=∣Tx∣a=|T_x|a=∣Tx∣、b=∣Ty∣b=|T_y|b=∣Ty∣、c=∣Ux∣c=|U_x|c=∣Ux∣、d=∣Uy∣d=|U_y|d=∣Uy∣ を代入する。射影の等式から ∣S∣≤(∣Sx∣∣Sy∣∣Sz∣)1/2|S|\le(|S_x||S_y||S_z|)^{1/2}∣S∣≤(∣Sx∣∣Sy∣∣Sz∣)1/2、二乗して証明完了。