On considère une propriété qui dépend d'une variable. On veut démontrer cette propriété. Effectuer un...