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