for a being Aleph holds
( omega is regular & nextcard a is regular ) by Th21, Th22;