theorem Th545: :: NUMBER11:545

Sum (digits (2160,10)) = 9