sphere theorem

GPTKB entity