Whitehead theorem

GPTKB entity