theorem Th437: :: NUMBER11:437

Sum (digits (1080,10)) = 9