Reidemeister–Hopf theorem

GPTKB entity