for some positive integer formula_56, then the minimum feasible triangle density is attained by a unique step function graphon formula_57 with node weights formula_58 with sum equal to 1 and such that formula_59.