theorem Th12: :: GLPACY00:8

for G being _Graph
for C being Component of G holds Endvertices C c= Endvertices G