theorem Th1266: :: NUMBER11:1266

Sum (digits (3475,10)) = 19