whiteheads theorem