Implication Details

Assumptions: infinitary extensive

Conclusions: extensive

Reason: This is obvious.