Description: A number divided by itself is one. (Contributed by NM, 1-Aug-2004) (Proof shortened by SN, 9-Jul-2025)