まあしかし、10倍して9をひくと元に戻る数、というのもなかなか直観的な
「定義」ではある。