Faltings' theorem

GPTKB entity