40,585/Historical Note

Theorem
The fact that $40 \, 585$ is a factorion base $10$ was discovered as late as $1964$ by.