6.3.4 同伦群