Four color theorem

GPTKB entity