>>25
H_0(pt,∅) → H_0(X,∅) が monic を Eilenberg-Steenrod だけから示すとこ?
出来るんだっけ?