finally proof of minimality and pi same implies same cluster