Homotopy groups are calculated, not proved, cf. #165