G .numComponents() = card (G .componentSet()) ;
hence G .numComponents() is non zero Element of NAT ; :: thesis: verum