Implication Details

Assumptions: ℵ₁-accessible

Conclusions: accessible

Reason: This is trivial.