Whitehead theorem