P
Initializing...
(5), p. 18 — g_T(ω_T) ≥ g_T(ω_S) gives b_S − b_T ≤ a_T − a_S · Prove2Me