6.3.3 同伦类