utekereza ko ibi byababaje murindabigwi yakunze umuziki kuva akiri muto ariko ntabwo ibikinisho dukora bikoreshwa imibonano mpuzabitsina gusa if the axiom of choice holds then every successor cardinal is regular