first order property in the language of rings
Corps et Anneaux de Rolle
scientific article