If [math], then [math] is .

Thus, [math] [math] [math] and [math] .