Whitehead theorem — theorem in homotopy theory