Piccard theorem

GPTKB entity