Je me rends compte en préparant un cours à partir des notes d'un collègue que je commence toujours mes preuves d'unicité par "soit x et y tels que ..., montrons que x=y" alors que dans les notes dont je part, elles commencent toutes par "soit x et y tels que ... et x≠y, ..."