自然数はそれを10進表記したときの各位にあたる数をひとつずつすべて足したものと9を法として合同である.