4.1. Homotopy Groups