theorem Th617: :: NUMBER11:617

Sum (digits (2880,10)) = 18