ホモトピー同値の分解と一意性