Об $m$-степенях надмножеств простых множеств

Доказано, что существует простое не гиперпростое множество $A$ такое, что для любого рекурсивно перечислимого множества $B$, $B\underset{\displaystyle m}\le A$, как только $A\subseteq B$. Библ. 2 назв.