let C be Component of G; :: thesis: C is regular
consider c being Cardinal such that
A1: G is c -regular by Def6;
thus C is regular by A1; :: thesis: verum