Equivalence of Definitions of Deficient Number

Theorem
The following definitions of a deficient number are equivalent:

Proof
By definition of abundance:


 * $A \left({n}\right) = \sigma \left({n}\right) - 2 n$

The result follows.