Chasles' theorem

GPTKB entity