theorem Th44:
  W is_weight>=0of G implies W is_weight_of G
by FUNCT_2:7;
