Smallest Multiple of 9 with all Digits Even/Historical Note

Theorem
, in his of $1997$, attributes this to an , but it has not so far been possible to determine who this refers to.

This question seems to be a classic that regularly crops up in compendia of puzzles.