real 4-sphere

GPTKB entity