theorem Th385: :: NUMBER11:385

Sum (digits (540,10)) = 9