Description: If a ring has at least two elements, its one and zero are different. (Contributed by AV, 13-Apr-2019)