Que doit on faire exactement quand on doit montrer qu'un algo est correct?

Ce n'est pas quand même prendre un exemple, vérifier pour trouver le résultat!