Shafarevich theorem

GPTKB entity