应用归纳假设
由归纳假设,∣T∣≤(∣Tx∣∣Ty∣∣Tz∣)1/2|T|\le(|T_x||T_y||T_z|)^{1/2}∣T∣≤(∣Tx∣∣Ty∣∣Tz∣)1/2,U 也满足类似界。相加并使用 ∣Tz∣,∣Uz∣≤∣Sz∣|T_z|,|U_z|\le |S_z|∣Tz∣,∣Uz∣≤∣Sz∣,得到所示估计。