On the existence, uniqueness and correctness of the fracture diameter distribution given the fracture trace length distribution