Prouver par le calcul