>>577
f:A->f(A)は同相写像