Talk:Eilenberg–Ganea theorem