3 reworded

I think the proper Whitehead for maps says that if the cone of the map has trivial homotopy groups, then the map is a homotopy equivalence.