FitzSimons' theorem

GPTKB entity