Two theorems on many-one degrees of recursively enumerable sets

Teоpeмa 1. Каждая нерекурсивная рекурсивно перечислимая тьюрингова степень содержит минимальную рекурсивно перечислимую $m$-степень.
Теорема 2. Над каждой некреативной рекурсивно перечислимой $m$-степенью $a$ находится рекурсивно перечислимая $m$-степень такая, что для любой $m$-степени $c<a$ выполняется соотношение $c\leqslant b$.