quantifier contraction theorem <2024-03-27 Wed 17:13:26> mahmood math [cite:;refer to @computability_soare_2016 theorem 2.1.5]