Analyse proof