Tannery's theorem

GPTKB entity