t02+θ⁢a02≥0,