Об одном вопросе П. Одифредди

Известно, что если $A$ – гипергиперпростое множество, то
(а) ($\forall B$-РПМ) ($A\subseteq B$ $\Rightarrow$ $B\le_mA$),
(б) ($\forall B$) ($B\leq_mA$ $\Rightarrow$ ($\exists C$) ($A\subseteq C\wedge B=_mC$)).
Построено простое негиперпростое множество, удовлетворяющее условиям (а) и (б).
Библиогр. 4.