命題 p => q が真であるとき、必ず真になるものはどれか。

関数 f(x) = tan x を微分すると何になるか。