-- Proving Optimality of DWS(Distance-Weighted Sampling) Probability Function for FMS IP