open mapping theorem

GPTKB entity