Description: Division into zero is zero. (Contributed by NM, 14-Mar-2005) (Proof shortened by SN, 9-Jul-2025)