Conway's 15 theorem

GPTKB entity