Factorions Base 10

Theorem
The following positive integers are the only ones which are equal to the sum of the factorials of their digits:
 * $1, 2, 145, 40 \, 585$

Proof
From examples of factorials: