theorem Th1206: :: NUMBER11:1206

Sum (digits (2475,10)) = 18